大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Special Interest Group on Design Automation 的图书(共4151本)

Group Coordination and Cooperative Control [electronic resource]

0
索取号：
作者：Pettersen、 Kristin Y.、Gravdahl、 Jan Tommy.、Nijmeijer、 Henk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Parallel and Distributed Logic Programming [electronic resource] : Towards the Design of a Framework for the Next Generation Database Machines

0
索取号：
作者：Bhattacharya、 Alakananda.、Konar、 Amit.、Mandal、 Ajit K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

0
索取号：
作者：Shen、 Wei-ming.、Chao、 Kuo-Ming.、Lin、 Zongkai.、Barth猫s、 Jean-Paul A.、James、 Anne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Conformation-Dependent Design of Sequences in Copolymers II [electronic resource]

0
索取号：
作者：Khokhlov、 Alexei R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Conformation-Dependent Design of Sequences in Copolymers I [electronic resource]

0
索取号：
作者：Khokhlov、 Alexei R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Group Theory [electronic resource]

0
索取号：
作者：Dresselhaus/Dresselhaus/Jorio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Fuzzy Group Theory [electronic resource]

0
索取号：
作者：Mordeson、 John.、Bhutani、 Kiran.、Rosenfeld、 Azriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

MEGAFLOW - Numerical Flow Simulation for Aircraft Design [electronic resource] : Results of the second phase of the German CFD initiative MEGAFLOW, presented during its closing symposium at DLR, Braunschweig, Germany, December 10 and 11, 2002

0
索取号：
作者：Kroll、 Norbert.、Fassbender、 Jens K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Middleware 2005 [electronic resource] : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

0
索取号：
作者：Alonso、 Gustavo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

0
索取号：
作者：Paliouras、 Vassilis.、Vounckx、 Johan.、Verkest、 Diederik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr眉cken, Germany, October 3-6, 2005. Proceedings

0
索取号：
作者：Borrione、 Dominique.、Paul、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Groupware: Design, Implementation, and Use [electronic resource] : 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005. Proceedings

0
索取号：
作者：Fuk艣、 Hugo.、Lukosch、 Stephan.、Salgado、 Ana Carolina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

0
索取号：
作者：Luo、 Yuhua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development

0
索取号：
作者：Bouyssounouse、 Bruno.、Sifakis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures

0
索取号：
作者：Aldini、 Alessandro.、Gorrieri、 Roberto.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.